From d30edce749ee8d245ea1588bd4cbd958be198a9a Mon Sep 17 00:00:00 2001 From: isarra Date: Wed, 24 Sep 2014 21:16:35 +0000 Subject: [PATCH] Move editoptions styling to mediawiki.skinning/interface.css Adding the editoptions box styling to mediawiki.skinning.interface instead of the skin-agnostic mediawiki.action.* means it will only be added to skins where it's likely to be appropriate, as this is also where the similar styles for toc, categories, etc are defined. This way skins in which the editoptions box would be inappropriate need never worry about it anyway because they won't be using mediawiki.skinning.interface for the same reason. Bug: 58254 Change-Id: Ibd1c0617c426e34e7213ca0ce89a126340b012a7 --- .../src/mediawiki.action/mediawiki.action.edit.styles.css | 8 -------- resources/src/mediawiki.skinning/interface.css | 8 ++++++++ 2 files changed, 8 insertions(+), 8 deletions(-) mode change 100644 => 100755 resources/src/mediawiki.action/mediawiki.action.edit.styles.css mode change 100644 => 100755 resources/src/mediawiki.skinning/interface.css diff --git a/resources/src/mediawiki.action/mediawiki.action.edit.styles.css b/resources/src/mediawiki.action/mediawiki.action.edit.styles.css old mode 100644 new mode 100755 index 7148b9649a..4209aa1f14 --- a/resources/src/mediawiki.action/mediawiki.action.edit.styles.css +++ b/resources/src/mediawiki.action/mediawiki.action.edit.styles.css @@ -8,14 +8,6 @@ display: block; } -.editOptions { - background-color: #F0F0F0; - border: 1px solid silver; - border-top: none; - padding: 1em 1em 1.5em 1em; - margin-bottom: 2em; -} - /* Adjustments to edit form elements */ .editCheckboxes { margin-bottom: 1em; diff --git a/resources/src/mediawiki.skinning/interface.css b/resources/src/mediawiki.skinning/interface.css old mode 100644 new mode 100755 index 398a132dd5..b57ee367cc --- a/resources/src/mediawiki.skinning/interface.css +++ b/resources/src/mediawiki.skinning/interface.css @@ -15,6 +15,14 @@ clear: both; } +.editOptions { + background-color: #F0F0F0; + border: 1px solid silver; + border-top: none; + padding: 1em 1em 1.5em 1em; + margin-bottom: 2em; +} + .usermessage { background-color: #ffce7b; border: 1px solid #ffa500; -- 2.20.1